101![Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany](https://www.pdfsearch.io/img/ecf74295dd1bb352bf8c3229f4d39467.jpg) | Add to Reading ListSource URL: www.dr-dau.netLanguage: English - Date: 2007-08-09 21:04:38
|
---|
102![Artificial IntelligenceElsevier 31 Logic and artificial intelligence Artificial IntelligenceElsevier 31 Logic and artificial intelligence](https://www.pdfsearch.io/img/e87c2a437d6e25d8939e01f8f3c6891b.jpg) | Add to Reading ListSource URL: ai.stanford.eduLanguage: English - Date: 2007-10-21 17:30:59
|
---|
103![Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr](https://www.pdfsearch.io/img/dfa2eb147c87fa9b5f0d33f6f7f6b9c3.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2016-01-11 07:50:10
|
---|
104![Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes](https://www.pdfsearch.io/img/71d71334db47f18cff23294b08702044.jpg) | Add to Reading ListSource URL: philosophy.fas.nyu.eduLanguage: English - Date: 2006-10-05 23:08:28
|
---|
105![From top-level to domain ontologies: Ecosystem classifications as a case study Thomas Bittner Department of Philosophy, Department of Geography New York State Center of Excellence in Bioinformatics and Life Sciences Nati From top-level to domain ontologies: Ecosystem classifications as a case study Thomas Bittner Department of Philosophy, Department of Geography New York State Center of Excellence in Bioinformatics and Life Sciences Nati](https://www.pdfsearch.io/img/5ff444f727bb2111844ef23814518056.jpg) | Add to Reading ListSource URL: www.acsu.buffalo.eduLanguage: English - Date: 2007-07-26 11:19:26
|
---|
106![Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about](https://www.pdfsearch.io/img/b4db4cec1404d928a19cf20ec641f3dc.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-09-13 09:25:22
|
---|
107![Budgeted Online Collective Inference Jay Pujara University of Maryland Budgeted Online Collective Inference Jay Pujara University of Maryland](https://www.pdfsearch.io/img/587c54926d2b5432d9826511a4762bee.jpg) | Add to Reading ListSource URL: psl.umiacs.umd.eduLanguage: English - Date: 2015-07-31 17:33:33
|
---|
108![TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany](https://www.pdfsearch.io/img/41eccabc163541e0756389d62a13aa58.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
109![Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016](https://www.pdfsearch.io/img/3c59fb19eee7611bc555a5cc9d852553.jpg) | Add to Reading ListSource URL: tyrex.inria.frLanguage: English - Date: 2016-01-19 11:56:00
|
---|
110![Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a](https://www.pdfsearch.io/img/1c7a32430b8aaf856eb77149a117845a.jpg) | Add to Reading ListSource URL: formal.iti.kit.eduLanguage: English - Date: 2014-03-13 08:30:05
|
---|